Automatic Generation System for Multiple-Valued Galois-Field Parallel Multipliers

Automatic Generation System for Multiple-Valued Galois-Field Parallel Multipliers

This paper presents a system for the automatic generation of Galois-field (GF) arithmetic circuits, named the GF Arithmetic Module Generator (GF-AMG). The proposed system employs a graph-based circuit description called the GF Arithmetic Circuit Graph (GF-ACG). First, we present an extension of the GF-ACG to handle GF(pm) (p ≥ 3) arithmetic circuits, which can be efficiently implemented by mult...

Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and Their Complexity

Current-mode Multipliers for Multiple-valued Logic and Residue Number System Arithmetic

− This paper presents new structures of multipliers based on the current mode gates – digital elements operating with constant, continuous power supply current. Designed multipliers are destined for use in N-radix and modulo N arithmetic units. Proposed structures are simple and regular, and are based on the modulo N adders. All proposed structures were successfully tested in the SPICE simulator.

Automatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach

Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...

Efficient Gröbner basis reductions for formal verification of galois field multipliers

Galois field arithmetic finds application in many areas, such as cryptography, error correction codes, signal processing, etc. Multiplication lies at the core of most Galois field computations. This paper addresses the problem of formal verification of hardware implementations of (modulo) multipliers over Galois fields of the type F2k , using a computeralgebra/algebraic-geometry based approach....